How To Use The Smt Splicing Tools